Commutativity of Reducers

نویسندگان

  • Yu-Fang Chen
  • Chih-Duo Hong
  • Nishant Sinha
  • Bow-Yaw Wang
چکیده

In the Map-Reduce programming model for data parallel computation in a cloud environment, the reducer phase is responsible for computing an output key-value pair, given a sequence of input values associated with a particular key. Because of non-determinism in transmitting key-value pairs over the network, the inputs may not arrive at a reducer in a fixed order. This gives rise to the reducer commutativity problem, that is, is the reducer computation is independent of the order of its inputs? Commutativity of reducers is a desirable property, absence of which may lead to correctness violations and hard-to-find bugs. In this paper, we study the reducer commutativity problem formally. To model real-world reducers, we introduce the notion of an integer reducer, a syntactic subset of integer programs. We show that, in spite of syntactic restrictions, deciding commutativity of integer reducers over unbounded sequences of integer values is undecidable. It remains undecidable even with input sequences of a fixed length. The problem, however, is decidable for reducers over unbounded input sequences if the integer values are bounded. We also propose an efficient reduction of commutativity checking to conventional assertion checking and report experimental results from checking commutativity using various off-the-shelf program analyzers.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach

MapReduce is a popular programming model for data parallel computation. In MapReduce, the reducer produces an output from a list of inputs. Due to the scheduling policy of the platform, the inputs may arrive at the reducers in different order. The commutativity problem of reducers asks if the output of a reducer is independent of the order of its inputs. Although the problem is undecidable in g...

متن کامل

Finite groups with three relative commutativity degrees

‎‎For a finite group $G$ and a subgroup $H$ of $G$‎, ‎the relative commutativity degree of $H$ in $G$‎, ‎denoted by $d(H,G)$‎, ‎is the probability that an element of $H$ commutes with an element of $G$‎. ‎Let $mathcal{D}(G)={d(H,G):Hleq G}$ be the set of all relative commutativity degrees of subgroups of $G$‎. ‎It is shown that a finite group $G$ admits three relative commutativity degrees if a...

متن کامل

Commutativity degree of $mathbb{Z}_p$≀$mathbb{Z}_{p^n}

For a nite group G the commutativity degree denote by d(G) and dend:$$d(G) =frac{|{(x; y)|x, yin G,xy = yx}|}{|G|^2}.$$ In [2] authors found commutativity degree for some groups,in this paper we nd commutativity degree for a class of groups that have high nilpontencies.

متن کامل

A GENERALIZATION OF A JACOBSON’S COMMUTATIVITY THEOREM

In this paper we study the structure and the commutativity of a ring R, in which for each x,y ? R, there exist two integers depending on x,y such that [x,y]k equals x n or y n.

متن کامل

The Tensor Degree of a Pair of Finite Groups

In this paper, we study the tensor commutativity degree of pair of finite groups. Erdos introduced the relative commutativity degree and studied its properties. Then, Mr. Niroomand introduced the tensor relative commutativity degree, calculated tensor relative degree for some groups, and studied its properties. Also, he explained its relation with relative commutativity degree. In this paper, w...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015